(All formal jackets are dark navy blue)